A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t

Source URL: www.inf.unibz.it

Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

Source URL: iltp.de

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Logic in computer science
• Proof theory
• Modal logic
• Modality
• Paraconsistent logic
• Classical logic
• Deontic logic
• Intuitionistic logic

An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

Source URL: ceur-ws.org

Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes ? Sofia Espinosa Peraldi, Atila Kaya, Ralf M¨oller Hamburg University of Technology, Germany, {sofia.espinosa, at.kaya, r.f.moeller}

Source URL: ceur-ws.org

Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d

Source URL: ceur-ws.org

Fair Cycle Detection using Description Logic Reasoning Shoham Ben-David1 , Jeffrey Pound1 , Richard Trefler1 , Dmitry Tsarkov2 , Grant Weddell1 1. David R. Cheriton School of Computer Science, University of Waterloo 2. S

Source URL: ceur-ws.org

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies Quentin Reul1 and Jeff Z. Pan2 1

Source URL: ceur-ws.org

Forgetting and uniform interpolation in extensions of the description logic EL Boris Konev, Dirk Walther, and Frank Wolter? University of Liverpool, UK {konev, dwalther, wolter}@liverpool.ac.uk

Source URL: ceur-ws.org

A Resolution Based Description Logic Calculus Zsolt Zombori1 and Gergely Luk´acsy2 1 Budapest University of Technology and Economics, Hungary 2

Source URL: ceur-ws.org

Paraconsistent Rough Description Logic Henrique Viana? , Jo˜ao Alcˆantara?? and Ana Teresa Martins? ? ? Departamento de Computac¸a˜ o, Universidade Federal do Cear´a, P.O.Box 12166, Fortaleza, CE, BrasilA

Source URL: ceur-ws.org